lambda lifting造句

Meta-functions will be given that describe lambda lifting and dropping.
Lambda lifting is not the same as closure conversion.
Lambda lifting and block structured programs.
Lambda calculus has a simple syntax and semantics, and is good for describing Lambda lifting.
Lambda lifting added parameters that were necessary so that a function can be moved out of its context.
It's difficult to find lambda lifting in a sentence. 用lambda lifting造句挺难的

This is in addition to additional compiler optimizations such as lambda lifting and just-in-time compilation.
In the Lambda lifting section, a meta function for first lifting and then converting the resulting lambda expression into recursive equation was described.
The term " lambda lifting " was first introduced by Thomas Johnsson around 1982 and was historically considered as a mechanism for implementing functional programming languages.
Closures are closely related to function objects; the transformation from the former to the latter is known as defunctionalization or lambda lifting; see also closure conversion.
It is convenient to describe lambda lifting as a translations from " lambda " to a " let " expression, and lambda dropping as the reverse.
Another way to implement nested functions that is used by some compilers is to convert ( " lift " ) nested functions into non-nested functions ( where extra, hidden, parameters replace the access links ) using a process known as lambda lifting during an intermediate stage in the compilation.